1

Learning computer science concepts with Scratch

Year:
2013
Language:
english
File:
PDF, 242 KB
english, 2013
2

From Scratch to “Real” Programming

Year:
2015
Language:
english
File:
PDF, 158 KB
english, 2015
4

How to solve the Santa Claus problem

Year:
1998
Language:
english
File:
PDF, 73 KB
english, 1998
5

Constructivism in computer science education

Year:
1998
Language:
english
File:
PDF, 661 KB
english, 1998
6

The Concept of Nondeterminism: Its Development and Implications for Teaching

Year:
2009
Language:
english
File:
PDF, 263 KB
english, 2009
8

Mathematical Logic for Computer Science ||

Year:
2012
Language:
english
File:
PDF, 2.35 MB
english, 2012
10

Interactive execution of distributed algorithms

Year:
2001
Language:
english
File:
PDF, 74 KB
english, 2001
11

Thinking parallel

Year:
1999
Language:
english
File:
PDF, 459 KB
english, 1999
12

Theory-Guided Technology in Computer Science

Year:
2001
Language:
english
File:
PDF, 60 KB
english, 2001
14

Adapting and merging methodologies in doctoral research

Year:
2009
Language:
english
File:
PDF, 446 KB
english, 2009
16

Mathematical Logic for Computer Science Volume 1016 || Temporal Logic: Formulas, Models, Tableaux

Year:
2012
Language:
english
File:
PDF, 440 KB
english, 2012
19

Conceptual models of software artifacts

Year:
2006
Language:
english
File:
PDF, 168 KB
english, 2006
20

MOOCs on introductory programming

Year:
2011
Language:
english
File:
PDF, 176 KB
english, 2011
21

Loop Constructs in scratch

Year:
2011
Language:
english
File:
PDF, 561 KB
english, 2011
22

Virtual trees for the byzantine generals algorithm

Year:
2004
Language:
english
File:
PDF, 248 KB
english, 2004
24

A critique of the advanced placement C++ subset

Year:
1997
Language:
english
File:
PDF, 339 KB
english, 1997
27

A simplified proof that regular resolution is exponential

Year:
1980
Language:
english
File:
PDF, 290 KB
english, 1980
28

Ada for Software Engineers (Second Edition with Ada 2005) ||

Year:
2009
Language:
english
File:
PDF, 2.29 MB
english, 2009
30

The anthropology semaphores

Year:
2000
Language:
english
File:
PDF, 415 KB
english, 2000
31

Mathematical Logic for Computer Science Volume 883 || First-Order Logic: Formulas, Models, Tableaux

Year:
2012
Language:
english
File:
PDF, 281 KB
english, 2012
32

The Jeliot 2000 program animation system

Year:
2003
Language:
english
File:
PDF, 202 KB
english, 2003
37

Mathematical Logic for Computer Science Volume 992 || Propositional Logic: Deductive Systems

Year:
2012
Language:
english
File:
PDF, 257 KB
english, 2012
38

The concept of nondeterminism

Year:
2009
Language:
english
File:
PDF, 139 KB
english, 2009
39

A primer on model checking

Year:
2010
Language:
english
File:
PDF, 430 KB
english, 2010
40

Mathematical Logic for Computer Science Volume 2 || Propositional Logic: Binary Decision Diagrams

Year:
2012
Language:
english
File:
PDF, 285 KB
english, 2012
41

Non-myths about programming

Year:
2011
Language:
english
File:
PDF, 2.97 MB
english, 2011
45

Program animation in jeliot 3

Year:
2004
Language:
english
File:
PDF, 123 KB
english, 2004
46

Foreet: A tool for design and documentation of fortran programs

Year:
1986
Language:
english
File:
PDF, 554 KB
english, 1986
47

Situated Learning in Computer Science Education

Year:
2004
Language:
english
File:
PDF, 124 KB
english, 2004
49

In defense of programming

Year:
2016
Language:
english
File:
PDF, 1.26 MB
english, 2016